Equivalence of categories - PDFSEARCH.IO - Document Search Engine

Equivalence of categories
Results: 209

#	Item
171	Colimits and Homological Algebra Andy Kiersz August 11, 2006 Add to Reading List Source URL: www.math.uchicago.edu Language: English - Date: 2006-08-12 18:21:35 Functors Limit Diagram Universal property Coequalizer Coproduct Exact functor Equivalence of categories Subcategory Category theory Abstract algebra Mathematical analysis
172	Electronic Communications of the EASST Volume X (2012) Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2012-02-19 08:06:32 Algebra Functional programming Monad Coalgebra F-coalgebra Equivalence of categories Natural transformation Functor F-algebra Adjoint functors Category theory Abstract algebra
173	Kan Extensions for Program Optimisation Or: Art and Dan Explain an Old Trick Ralf Hinze Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2012-04-17 02:44:58 Algebra Monad Kan extension Natural transformation Equivalence of categories Limit Universal property Functor Sheaf Adjoint functors Category theory Abstract algebra
174	Foundations and Applications of Higher-Dimensional Directed Type Theory Robert Harper and Daniel R. Licata Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2011-05-26 15:05:42 Type theory Logic in computer science Algebraic topology Dependently typed programming Proof theory Curry–Howard correspondence Category theory Equivalence of categories Sheaf Mathematics Abstract algebra Mathematical logic
175	Theory and Applications of Categories, Vol. 24, No. 3, 2010, pp. 39–83. JOYAL’S ARITHMETIC UNIVERSE AS LIST-ARITHMETIC Add to Reading List Source URL: www.math.unipd.it Language: English - Date: 2010-02-22 14:55:33 Mathematical structures Model theory Metalogic Function Cartesian closed category Equivalence relation Combinatorial species Interpretation Mathematical logic Mathematics Abstract algebra Algebraic structures
176	DERIVATORS, POINTED DERIVATORS, AND STABLE DERIVATORS MORITZ GROTH Add to Reading List Source URL: www.math.uni-bonn.de Language: English - Date: 2012-01-30 04:27:20 Functor Triangulated category Adjoint functors Natural transformation Equivalence of categories Derived category Universal property Nerve Homotopy category Category theory Abstract algebra Mathematics
177	On Categories of Monoids, Comonoids, and Bimonoids Hans–E. Porst∗ Add to Reading List Source URL: www.math.uni-bremen.de Language: English - Date: 2008-06-09 05:49:04 Monoidal categories Adjoint functors Functors Monoid Limit Initial and terminal objects Monad Equivalence of categories PRO Category theory Algebra Abstract algebra
178	VOL. 28, 1942 MA THEMA TICS: EILENBERG AND MacLANE Add to Reading List Source URL: www.ncbi.nlm.nih.gov Language: English Functors Homological algebra Natural transformation Equivalence of categories Limit Pontryagin duality Morphism Grothendieck topology Duality Category theory Abstract algebra Mathematics
179	Theory and Applications of Categories, Vol. 24, No. 3, 2010, pp. 39–83. JOYAL’S ARITHMETIC UNIVERSE AS LIST-ARITHMETIC Add to Reading List Source URL: www.tac.mta.ca Language: English - Date: 2010-02-20 12:22:21 Mathematical structures Model theory Metalogic Function Cartesian closed category Equivalence relation Combinatorial species Interpretation Mathematical logic Mathematics Abstract algebra Algebraic structures
180	Reprints in Theory and Applications of Categories, No. 3, [removed]ABELIAN CATEGORIES Add to Reading List Source URL: www.tac.mta.ca Language: English - Date: 2004-01-20 10:12:15 Functors Homological algebra Adjoint functors Algebraic topology Abelian category Functor Category of abelian groups Natural transformation Equivalence of categories Category theory Abstract algebra Algebra

UPDATE